../../lib/unsigned_extended/intf.ml